<?php

	while (true)
	{
		echo "before\n";
		break -345;
		echo "below\n";
	}
	echo "after\n";
?>
